Proof Compactness implies closed and bounded in Euclidean space